Textbook in PDF format

Formal Logic is an undergraduate text suitable for introductory, intermediate, and advanced courses in symbolic logic. The book’s nine chapters offer thorough coverage of truth-functional and quantificational logic, as well as the basics of more advanced topics such as set theory and modal logic. Complex ideas are explained in plain language that doesn’t presuppose any background in logic or mathematics, and derivation strategies are illustrated with numerous examples. Translations, tables, trees, natural deduction, and simple meta-proofs are taught through over 400 exercises. A companion website offers supplemental practice software and tutorial videos.
Contents
Informal Notions 
Informal Introduction 
Truth-Functional Logic 
The Language 
Formal Semantics for 
SD: Natural Deduction 
Quantificational Logic 
The Language 
Formal Semantics 
PD: Natural Deduction 
Advanced Topics 
Basic Set Theory, Paradox, and Infinity 
Modal Logic 
Appendices
Answers to Exercises
Glossary 
Truth Tables, Tree Rules, and Derivation Rules